Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

DM-46777: Add a lower bound on sphinxcontrib-mermaid, revert sphinx pin #233

Merged
merged 2 commits into from
Oct 15, 2024

Conversation

fajpunk
Copy link
Member

@fajpunk fajpunk commented Oct 15, 2024

  • Set a lower bound on sphinxcontrib-mermaid to <=1
  • Revert the Sphinx pin because this fixes the compatibility issue
  • Ditch the mermaid_version pin because this fixes mermaid cdn change? mgaitan/sphinxcontrib-mermaid#110
  • Ignore an import that mypy 1.12 doesn't consider re-exported anymore (it's renamed with as, not sure if that's a mypy bug, or if those are the real rules and it's a mypy fix)

Tested:

@fajpunk fajpunk force-pushed the tickets/DM-46777/revert-sphinx-pin branch from bd217de to 7e1ea54 Compare October 15, 2024 18:53
@fajpunk
Copy link
Member Author

fajpunk commented Oct 15, 2024

I think this still counts as a bugfix even though we're changing the version of mermaidjs that gets pulled in, but I could be convinced otherwise.

@fajpunk fajpunk requested review from rra and athornton October 15, 2024 18:54
@fajpunk fajpunk changed the title DM-46777: Lower bound on sphinxcontrib-mermaid, revert sphinx pin DM-46777: Add a lower bound on sphinxcontrib-mermaid, revert sphinx pin Oct 15, 2024
* Set a lower bound on sphinxcontrib-mermaid to <=1
* Revert the Sphinx pin because this fixes the compatibility issue
* Ditch the `mermaid_version` pin because this fixes
mgaitan/sphinxcontrib-mermaid#110
@fajpunk fajpunk force-pushed the tickets/DM-46777/revert-sphinx-pin branch from 7e1ea54 to dbf6183 Compare October 15, 2024 18:58
@fajpunk fajpunk merged commit 8fe0947 into main Oct 15, 2024
8 checks passed
@fajpunk fajpunk deleted the tickets/DM-46777/revert-sphinx-pin branch October 15, 2024 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

mermaid cdn change?
2 participants